نظریه صدق منطق دانان مسلمان

جغرافیای عصر باستان و تأثیر آن بر جغرافی دانان مسلمان

پیشینه دانش جغرافیایی مردمان عهد باستان به پیدایی نخستین تمدنهای بشری می‌رسد. در میان جغرافی دانان عهد قدیم یونانیان اطلاعات گسترده‌ای در علم جغرافیا ارائه دادند. بطلمیوس پیش از دیگر جغرافیدانان عهد باستان توانست در دوره‌های بعد از خود تأثیر بگذارد. به دنبال آشنایی مسلمانان با جغرافیا گرایش و تأثیر پذیری آنان از نگرشهای جغرافیایی بطلمیوس بیشتر گردید. بسیاری از جغرافی دانان اسلامی از وی پیروی یا...

نظریه انسجام صدق

بررسی قضایای حقیقیه منطق دانان مسلمان و گزاره های قانون وار به تقریر نِلسون گودمَن

غرض از نگارش مقاله حاضر، انجام مطالعه ای تطبیقی میان آرای منطق دانان مسلمان در خصوص قضیّه حقیقیّه از یک سو و دیدگاه نِلسون گودمَن در باب گزاره های قانون وار از سوی دیگر می باشد. از این رو، ابتدا تحلیل منطق دانان مسلمان از مفاد قضیّه حقیقیّه و نیز نظر گودمَن در مورد گزاره های قانون وار را تقریر می کنیم و سپس با اخذ روی آوردی تطبیقی به تبیین مواضع خلاف و وفاق این دو دیدگاه می پردازیم. از این رهگذر روشن ...

بررسی جایگاه تاریخی و حقیقی قیاس استثنایی نزد ارسطو و منطق دانان مسلمان

چکیده ندارد.

نظریه زیادگی اظهار صدق و نظریه غیرتوصیفی‌

منطق فازی تک‌نرم گزاره‌ای با ادات صدق

منطق تک‌نرم UL یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می‌کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می‌آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرما...